这两种情况均只需证明定义中的第二点, 而由于 $\vqty{x}$ 和 $x^2$ 都是下凸的, 由引理 2 即得. 证毕.